perm filename AMMI7.360[360,GF] blob sn#784641 filedate 1985-02-03 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T  FCA8D@%X↓V@EPα⊗ U@β⊗u8↓@ E0↓@@E0↓`E(↓@`E ↓AE ↓↓ U_↓A@E⊂π∀Aeλ↓BE↓B E↓α@Dx↓B@Tp↓CDhαβDX∧↓a$P∧α↓$("⊂C!hE`Qλ'Dj  ∧A
  ¬↓
  ¬↓
⊂(¬↓
⊂ ¬A
⊂ ¬A
⊂ ¬↓
(∧↓*↓(∧
 ∧A	p(¬↓	p ε↓	p ε↓	p ε↓	`(¬A	` ε↓	` ¬A	` ¬↓	P(∧A	! %∧(T !Fca8Cp8Ta@ ↓∀ `0α %αα`Txαβ Dp↓C`Dh↓D4`α∧ $Xα∧@$Xα∧@$Pα∩@DPα∩@DP↓D@$P↓D@$Pα∧ $Pα∧$Pαβ`4Xαβ 4`αα`4hαA@Dpε∀↓∧("⊃βAxE`Qλ'Dj  ∧A
  ¬@j  ¬A
⊂(ε↓
⊂ εA
⊂ εA
⊂ εA
(εA
 π↓
 π↓
 π↓	p(εA	p π↓	p πip εA	`(ε↓	` ε@i` ¬A	` ¬↓	P(∧↓)!_%∧λT "Fca8A"dx∀@@PαT@@X↓T@@`↓∀ P`↓∀ @0↓↓ %λα↓@ (↓∀ @(↓A %αA 5α↓ 5ε∀↓DxαA 4xα↓@ 0↓∪`@0↓↓@$xα↓@ (↓S@P`↓S@@h↓S@@`↓S@@PαS P@β∩BdP
Q(D0
παq8αE)q()↓↓⊂()↓↓ _)↓↓0⊂(A!0⊂(AP⊂α@J⊂ α@@P⊂(A@_α@J(αj αjX(αip(αip α@Ip α@Ip α@I`('↓	` '↓	P(%αi X"QλqX∂¬bp`βA`∃_ε↓%λβ↓@@λ↓∀@XαS`@hα∪@0xα∪ 1λ↓∪Aλ↓∩`A⊂↓∩`DPα∩@DPα∩@DP↓C↓4P↓BaDPαβ@TPαβ@TPαβ@DXαβ D`αα`ThαA`dpε@@%∧↓@∀("∩βbλE`PX↓BipX↓Bj  ¬↓
  ¬↓
  ¬↓
⊂(∧A*⊂ ¬↓
⊂ ¬↓
⊂ ¬↓
(∧A* ¬↓
↓⊂(∧Ip(∧A)p ¬↓	p ¬↓	p ¬↓	`(∧A)` ¬↓	` ¬↓	` ¬↓	P(∧A) X↓Bi PααHT $Dα18A!4x¬T@E⊂α∀@EλαT Eλα∀ EαTEα∀DxαS`Dxα∪`DpαS@Dpα∪@DhαRA4P¬⊃(DP
Fαq8¬BJ@X,↓ ,↓
p(+A
p +A
`(+↓
` +↓
P(*A
P *A	0_β↓) (αA	 (αA	 (α↓	  α↓	0P&↓hT %Gd!8A!0(¬∪a0(∧T@@PαT@@Hα∀@@@α∀ P8↓T @0α∀ @(α∀ @ ↓TP_α∀@⊂βT@λ∧∀p⊂αS`p α∪``(α∪`@8αS`@@α∪@P@αS@@Pα∪@@PαS@@Xα∪ PXαRA00¬∩A 0¬⊃(D`ε"q8αC	p`)↓
  )↓
⊂((A
⊂ (A
((↓
 (↓	p('A↓0⊂'A↓0⊂'A↓ _'↓! ⊂'↓↓ _'↓↓⊂ '↓↓ &A `0%¬	!_"Q	R@∀Ebp0∧∧`u∧∧A¬_αD U_αDe_ββ`e⊂βC@u⊂↓ @hβT@ λαB`0λα∀@ ⊂αα@0⊂α∀ 0⊂αα@ ⊂αT  _αα 0⊂α∀  _αA`0_α∀   α↓@0 α∀0 α↓@  αT (α↓ 0 α∀ (α@`0(α∀ 0α@00α∪`00α 00αS` 8βA`Dx↓α`8α∪` @αBDp↓B@@αRa⊂(↓AA4P¬↓@ (ε⊃(Dp∂λ"q8αB↓H'B↓H)↓A _)↓A ⊂)↓a⊂⊂(@`⊂ ∧j⊂⊂↓↓↓⊂(@@ (β@J⊂⊂↓Ap⊂(`0(α@j⊂αAP⊂(@P(αJ⊂β↓@⊂'@``(↓ip⊂∧↓ ⊂'@A(@Ip⊂∧A⊂⊂'a⊂8'A0('A0('A@ &@a@ %α! ⊂%α↓0⊂"Q	qP∞Ebp`βTaUλαA@Uαα@DxαβDp↓C`4hαβ`D`α∧DXα∧ DXα∧ DPα∧@DPα∧@DPα∧@DPα∧ DP↓D@DP↓D@4Pα∧DPαβ`DPαβ@DXαβD`↓B`Dhα↓@TpεT↓∧("∀β!hE`Qλ'Dj  ∧A
  ¬↓
  ¬↓
⊂(¬↓
⊂ ¬A
⊂ ¬A
⊂ ¬↓
(∧A
 ∧A
↓(β)p('A	p 'A	`('↓	` '↓	P(%αi P"Q
⊃P∞GBp`βTaUλαA@Uαα@DxαβDp↓C`4hαβ`D`α∧DXα∧ DXα∧ DPα∧@DPα∧@DPα∧@DPα∧ DP↓D@DP↓D@4Pα∧DPαβ`DPα↓ @(α∩`@_β`D`↓@` ⊂↓@ Dhα  _αSAP ↓∀↓⊂0↓∃` (↓U` (↓U`0⊂α∃a¬8∧∃`u@αQ(E⊂
π"q8αCiq⊂)↓p()↓↓⊂ )↓↓⊂ (A!⊂ (A↓  (A↓  (A↓⊂ (↓! (↓p((βJ`'A P 'Ap 'A↓_'A↓_'↓ p '↓↓ '↓↓ '↓↓ αIP(∧↓0⊂%α`P@%α@p("Q
10EbpPβ@`%⊂¬ 5λ↓A@U↓BDx↓B@4x↓B@4p↓B`$pαα@$pα∪A∧x¬∀↓5λ¬U u@αV D`↓α`DX↓B`4X↓B`4X↓B`$Xαα 4PβA DP↓@!$P↓↓d("∃β⊃`E`10&¬i@0↓A@0%A P βi0 β↓`_%@``(βi _βA↓⊂%A ∧I ⊂∧↓↓⊂)A*0 )A
0 )↓*  )↓
  (A*⊂ (A
⊂ (↓)@h%CHT *F#Q8@↓0(∧RA0(∧S @`↓S @`↓∪ @`↓∪PX↓S@`↓∪@`↓∪@`↓∩`PX↓R`@`↓∩`@`↓∩`@`↓∩@PX↓R@@`↓∩@@`↓∩@@`↓∩@@X↓∩@@X↓∩@@P↓∩`0H↓∩`@0↓S!$pβ⊃(E0
παq8αA@%αA@&A↓P &A↓P⊂&A↓@_&A! _'↓↓ ⊂'↓↓⊂_'↓↓_'↓p_'↓p⊂'↓ P_'A@_'A@⊂'A0_'A _'A ⊂⊂(↓j0(↓*((↓
_(@HT +I∧a8@! ¬↓@tP∧↓!⊂8βS@Pαα`4`αα@@X↓∪@Pαα@4`αα PH↓S@HαB $`αA`p8↓S @8↓ @8↓∪ @0↓@ @0↓S @(↓@@@(↓S @(↓`@(↓∪ @ ↓@`@ ↓S @_↓A@_↓S P⊂↓↓ P⊂↓∪@@λ↓A@@λ↓S@p8βS@`@β∪@`@β∪@PHαS@PHαS@@Pα∪@0X↓S` `↓⊃(E@⊂λ"q8βα@pH(α@pH)A! (*↓↓⊂ *↓ p_*A`_*A @_+↓  _+A⊂_+Ak(,↓+(+Aj`_A*P_↓A
0 α↓*  β↓
⊂_∧↓*_¬↓	p_¬A)P(ε↓) H∧BI H∧BHT ,FCQ8@↓ @∧∩A @∧∪ PXα∪ PX↓S@@P↓S@P@↓S`@@↓∪`P0↓T@(↓T@ ↓TP⊂↓T @λ↓T u⊂αT@U⊂α∀@EλαT Eλα∀ EαS!4h¬⊃(EP
π"q8βDj↓ (↓!⊂((a ((a⊂('@a⊂('@a('@A('@@p(+A*`(*A*@()A* (β@J⊂(∧J(∧ip(∧@I`(∧@iP(∧A	@(∧A	0(∧↓I! %∧hT 0D"@xπA@@λ↓SA$h↓AD`↓A DX↓A`4X↓A@DP↓A`4P↓A`4P↓A`4P↓A@DP↓↓`0_↓∩@ 8↓@`$P↓A @⊂↓R@0 α@ 4Xβ@ d`αA4("_AQε⊂0%AIP &@iP_&@i@ &i@_&`⊂ %BI0(αI0 α@i0_βi  βi _β@i _β@i _β@i _βi ⊂β@i ⊂β@I _α@i _αi08&↓(T 1C"xπA`Dx∧∪ @_↓S0 α∪ (α∩`00↓∩@4P↓R@4P↓R@4P↓B$P↓A`4X↓AD`∧S d("→α⊃ ε↓00*AJp +@jp_+@j` +j`_(↓ _'αiP_α↓	@_αA	0_β@i0_β↓	 _β@i _β@i _β@i _β↓	 ⊂β@`0⊂%@p_↓@I _αA _%`@(@i08AI@(αhT 2C"xπA@Tp∧∪ @_↓S00↓∩`00↓R`0 α∩A4P∧R@4P↓R@4P↓B$P↓A`4X↓AD`∧S d("→B10∂F↓P(+↓jP_A
P_A
@_↓@J@_*j@_)A
P(αJ0_)@j  )j _)j _)j⊂ (@j⊂_(@j⊂_(j_(i0⊂↓@I  @i  @i 8%A(T 3Cb⊃0πA`@λ↓Sa$p↓ADh↓A D`↓A`4`↓A@DX↓A`4X↓A`4X↓A`4X↓A@DX↓↓`4X↓↓`4X↓A DX↓AT`¬∪ Pλ↓T`5⊂α∩` (↓R@@_α∩@@⊂α∩A∀Xβ⊃(F@	EC↓@↓AIP0'A	p_'@ip_'↓	`_'i`_↓↓)P`&A`  &A P_&A P_&↓ P &↓`_&↓`_&`` %A`_%@`p_↓@I0_β↓0⊂%@``_↓@i  β` _%a0%a⊂ "Q
⊂XεFβ@↓∀ Eλα∀@$8α∪ D`β∩`0λ↓R@0⊂↓R@ ⊂α∩@ ⊂↓S@4hα∪ 4h↓S@⊂↓∪0_↓∪0⊂↓S0λ↓Sdhα⊃(FPλ∧βq@ε@J` +↓
p⊂#A
⊂ (↓Ip_↓i`_↓@i`⊂αi`⊂↓A
0_)@j0_)↓
 _)j _(A
⊂_(@j⊂_(↓	0⊂↓@i  A	  @i 8%A(T 5D"A@`dhβ∪`Dx↓S`4x↓S@Dp↓S@4p↓A@Dhα↓dh↓Ath↓@@@λα∪ 0λα`$`βSd`∧∪0⊂α∩`@_α∩`0(↓@`$X↓A 0_↓∩`0(↓@@4Pα↓ 0λ↓R@00β∩@08α⊃(F`∧αc↓@↓↓I@0'↓	`_'i`_&A	P_&@iP_&↓	@_&i@_%A	0_%@i0_%↓	 _↓I _↓I _@i _@I 0%AλT 6Gd xπ@@0(β↓ dXα@a_∧∩@0λ↓@ 0_↓@@0_↓R@ ⊂β↓ `(↓R@ ⊂αA@P0↓R@ λαA@P0α∪ @8α↓`4hα↓`@8↓S 0@↓A`D`α↓`@8↓S0@↓B0⊂↓∪0@↓A`@⊂↓∪0@↓A`0⊂↓R`@8α↓`0λ↓R`0@↓B TX↓B0P↓Q(Fp
¬apx↓`P(%A  @%`⊂8↓↓	 ⊂↓↓ P_%@ (α@i ⊂A P &A`_&A`_&@`` &↓`_&`p_↓@I@_β↓0⊂&``_↓@i0 β` _%@a0%@a⊂ "Q
px	βap8αSa∧hα↓4`↓A`4`↓α4X↓B4P↓B 4P↓B 4P↓B 4P↓B4P↓B4P↓A`4P↓A`$X↓A4`∧∪ T("≤α!_β`@_α↓	P(↓↓I@_A @⊂&@  α@i@⊂↓``_&@⊂ βip_β@ip_β@ip_β@i` βi`_β@i`_β@I` α@iP(αiP_AIP_↓↓	P_&↓	@_&i@_%↓i 8"Q∞⊃	¬Ap8α`$xβ@ 4hα`T`↓A@D`↓↓`DX↓A`DP↓B4P↓B4P↓B4P↓A`DP↓A`4P↓A@DP↓A@DX↓@`d`¬∪ Pλ↓T`5⊂α∀@5⊂↓T@4x∧∪a∧("≤AaλπC` _α↓	0(↓↓I _BI ⊂↓↓ ⊂ %@  ↓@I ⊂A)P &@iP_&↓	@_&i@_%A	0_%@hT 9CB⊂xπA@dx∧∪@ (↓S  (α∪  (α∪  0↓∪ dp∧∪a∧X↓↓@DPα↓`$Pα↓`$P↓B$Pα↓ 4X¬∪ d("≥↓@p¬@`_(j_(ip '@ip_%β	 `'i`_'iP &@iP_&@i@ &`@⊂&`@⊂&`0_&` _&↓iP("Q∞Q_βap⊂αα4Xβ↓@DX↓@ 0α∩@0λ↓A@4P↓@00↓R@ ⊂↓A Dhα↓ 4h↓A@4h↓A@4`α↓ D`↓A@0_↓∪0(α`$`↓A @⊂↓S 0⊂β 4hπ∪`@ ↓Q(G0λ∧apx↓↓`_%A@P_%@@ ⊂αA	 _@``_%@ _βi ⊂↓``_&A`⊂&@`p⊂&@`p⊂&↓`_&`p⊂&``_&`P_&@`0_'↓ip("Q∞qH∞βap⊂αα0 ↓R``0α↓4X↓@ 0α↓DP↓@ 00↓A@4P↓@00↓A@4P↓@0(α↓@4hα↓ 08↓∪ 00↓A`$h↓A@08↓∪@(α↓@4`↓A@08↓∪00↓A@4`↓A @(↓S 0_β`4pβ@@txαAT("≡α⊃ πC`@ α↓	Pp&`0H%@`@_↓↓	0⊂α@`0⊂%@@@ (@j⊂_(@j (``⊂%@@0_βI  AP_%α 0 %↓@⊂@%A@ "Q∂⊃λ
¬Ap⊂αα4Xβ↓@DX↓@ 0α∩@0λ↓A@4P↓@00↓R@ ⊂↓A Dhα↓ 4h↓A@4h↓A@4`α↓ D`↓A@4`↓A D`↓A Dh↓@@dh¬∪`@λ↓U4X↓↓@4Pα↓ 4Pα↓4P↓A4X∧∪T("≡B! πC`` α@i`8↓A	Pp&@`@0&@@p_*↓
0 )j 'A	`_β@IP_β@i@0α↓	0p%↓ @%@` "Q↓H
Ebp(
∪bE⊂ααU⊂αα 5⊂αα@%λαB@%λαα`%λαα`%λαα`%αTEα∀DxαS`Dxα∪`DpαS@Dpα∪@DhαRA4P¬Q(@λ∞πbq8	@K@_-A 0,Ak_A⊂↓↓*p_↓A
`_α↓
P_αA*@_βA
0_∧↓
0⊂∧A* _¬↓
⊂_¬A
_ε↓)p_π↓	`_πA	P_λ↓)P⊂	↓	@_	↓	1X%π	!`"Q!P∞Ebp`βTaUλαA@Uαα@DxαβDp↓C`4hαβ`D`α∧DXα∧ DXα  P↓@DPαA`⊂α∩@@⊂π@DPαA`⊂α∩@@λ↓B 0λα∩@0⊂↓α@ ⊂α∩@1⊂↓R@Aα∩@@xα∩@@pα∩`@`α∪0Xα∪ @0αSAU∧⊃(@_εαq8λK⊂_,↓ +A*p(+↓J`0*AjP⊂A
@_A
0_↓↓
0⊂↓A
 _↓A* ⊂αA
⊂_αA
⊂⊂β↓
_β↓	p_βA	p⊂∧↓	`_∧↓	P ∧↓	 H↓BI @ααHT αεCQ8ABDx
SbDx↓∧$x↓∧$x↓∧$8T `↓∪`0X↓Sb∧xλ∪b∧p↓B`4p↓β$8↓∩`!↓∩`!↓∩`!↓∩BTP
∩BD("↓#bλE`QH'F*  ¬↓
  ¬↓
  ¬↓
⊂(∧A*⊂ ¬↓
⊂ ¬↓
⊂ ¬↓
(∧A* ¬↓
 ¬↓
 ¬↓	p(∧A)p ¬↓	p ¬↓	p ¬↓	`(∧A)` ¬↓	` ¬↓	` ¬↓	P(∧A) PαBI Hβα(T βπ$↓8ABuTP`β∀ @p↓T Pp↓∀@@p↓∀@@p↓∀@Ph↓∀`@h↓∀`U α∃U(α∃E_α∀@0h↓∀ 0h↓T0p↓∪`0p↓S@0x↓S@x↓R`@hβ∩C∧PQ(@8εbq8↓A!⊂(&αP@%@`0_α↓0⊂%`P_↓`P_%@`_A`⊂%@`8β@J 0)A* ()↓*  )↓
  (A*⊂ (A
⊂ (↓* (↓
 'A)0`%CλT ∧εβ!8B↓U⊂εU@E0α∀a∃π∪`Pλα@Thα↓@ α∪@(α↓ 4Xα↓ P(α∩@@0α↓@DPα↓@@0α∩@@0α↓@DPα↓ P(α∩@@(α↓@DPα↓ @(α∩`@ α`T`α@ PλαS!e∧∀@EλαS!Thε⊃(@HGαq8βC*⊂h*A
P %↓p β↓	 (αA P(%A @ αA)@ α↓@(&↓@ α↓	0(↓A 0(%A@ α↓	0 α↓@ %A@ ↓A)0 ↓A  (%A   ↓A	@ ↓↓ (&↓ ⊂P&CI`X'B
⊂ (↓)@h&βλT ¬εcA8C↓∃_πT `8αT@`α∪`@pα∪@@xα∪ Aα∪ Aα∪ Aα∪ @xα∪ @xα∪ 0xα∪ 0xα∪ @hα∪@0h↓S@0`↓S@0Xα∪@0X↓R@ _↓α@0⊂↓∩@ _↓α 0_↓∩@ _↓B0⊂↓RA8∧∩A0∧RA0∧⊃(@X
F↓pxβA)pH'`@ αI@_β@`@⊂&A⊂_↓i0_∧@` ⊂%a _@i _¬`⊂⊂%a 0%a (%a  %a  %a0%@`P@↓I@P↓AIP8β↓λT ε¬Bqxβ e(∧U@ ↓T`08↓∀@0@↓T 0H↓T  Hα∀0H↓T P↓T  ∧∪`0_∧∪` _∧S`  α@ 4x↓α@4p↓B@4p↓α`4p↓α`4p↓α`4h↓B@4h↓B@4h↓B 4hαα$`β↓ 4`↓A∀`↓↓T`↓∩`4X↓∩`$X↓∩@4P↓⊃(@h
¬B`xαA!⊂&B`_&α@P⊂%A@ αI0_β@` _%a⊂_@I ⊂¬@@⊂⊂%A0(+A_,k⊂,Jp_+@jp_+@j` +j`_+j`_+HT πβb!@αU∧∪`0 ↓S@ 8↓∪@$p↓∪@4pα∪`EαS`thα@D`↓A 4`↓↓`$X↓A`$P↓B$P↓B$P↓B$P↓A`$P↓A`$P↓A@$P↓A@$X↓@`4`βS D("βa@xπC``0'α	P &i0_%@i P%αI _%i _%i0⊂%@`P_&αI`0"Qα`πFα⊂0↓∀%αS`th∧S0⊂α∩`$X↓∩@$P↓∩@$P↓∩@$P↓R`4`↓S Dpα∪`5↓∀%↓∩@ _↓∩@tXαQ(AλλEα`x↓`P(%A  @%`⊂8↓↓	 ⊂↓↓ P_%@⊂0α↓	 ⊂A P &A`_&A`_&↓` &↓` &`p_&`p_%A` %A` %@`p_%@`p_*↓
@ *j@_)A
0 )@hT 	βb!@α 5λβ∀0⊂↓S`0 ↓∪` (↓∪@ 0↓S 00↓S 00↓S08↓S08↓S00↓RaTXεR`08↓R`00↓R@08↓R@08↓R@00↓R@00↓R@00↓∩` (↓∩`  ↓R`0⊂↓Sdh↓Q(A_¬CApx↓@iP_&@iP_&↓	@ &i@_%A	0 %@`P⊂%↓P⊂%↓@_%`0 %B	@("QαA_βap_↓A`Dh↓A dh↓Ath↓@`0⊂↓∪@λα∪↓∧`β∪↓∧Xα dXα↓DX↓A@0 ↓∩`00↓A$Pα↓@0_↓R@@0↓@@4P↓BdP↓B D("¬"!(ε@ '↓* (@j⊂_(A
 _)↓
0_)@j0 *j@_*↓
0()↓j⊂_↓j_↓@ip_α↓	`_βiP_β@i@ βA	 (∧@i  ¬↓	 _εhT ¬"q0πA 08↓S`08↓S`08↓S`08↓S@@0α∪@@0α∪@08↓S@08↓S @0α∪ @0α∪ 00α`$hα↓ @_↓∪P α@@4`β@`λ↓S↓ λβ∪0λαA4Xα∩`DX↓R`4Pα∩@DP↓Q(A8	EApxAA⊂_%AA &@a⊂ &@a⊂_&@a &↓↓_&a_&`p &`` %AP %@`P %@`0(%@`  %α) 8%↓λT ∧αAxα %_↓∀`%_β∀!∃¬∪` _α∪@4h↓S 4h↓S 4h↓@ dp¬∪A∀h↓@T`↓∩`$X↓∩@$P↓∩@4Pα∩`T`βS!∧x∧∀@e(↓S`0 ↓∪a¬λαQ(AH
¬apx↓D)A⊂%Di  ↓@0⊂%@@⊂↓@I ⊂↓@`0⊂'@@0_'@@0_'`0_'`0_'`0_&@`@_&@`@ &↓P_&``_&``_"Qβ!	EApHα∀ u↓A$x↓A 4p↓A@4p↓A@4h↓A`4h↓A`4h↓A`4`α↓@4`α↓@4`↓A`$`↓A@4XαA4X¬∩`0⊂α∩`4Pα∩@DP↓R@4P↓R@4("εbA0πC`ph'CiQλ&↓ @ &`p_%@a_%a⊂_%a⊂_%a⊂_%a_%A⊂_%`p_%`p⊂%@`@_&α	P("QβA	Cap_εS↓dXπR@@⊂↓R@  ↓∩@  ↓∪`4x↓S`4x↓∪@4p↓S@4hα∪ 4h↓Q(Ah	¬!px↓↓↓_%A@p_%@@ ⊂βA	 _@a_%@ _∧i ⊂↓a_&A↓⊂&@a⊂⊂&@a_&↓↓⊂&a_&↓p⊂&@``_&A0 'α*("Qβa_πc`↓∃@%0↓∃@%(↓U %(↓∃ % ↓T@dx¬S@@⊂↓@4h↓@`0_↓S0 ↓↓ 4X↓A  (↓R@00↓↓ 4P↓A 0(↓R@0(↓↓@4P↓A  (↓R@0(↓↓ 4P↓A0 ↓R`  ↓↓4Xα@ ⊂α∪↓4pβT%↓∀$x↓S`$x↓∪`$("πbq@β`0(ε@I@8¬@i@⊂↓↓↓⊂_(@a_(@`p_(AP_)`@_)↓ _)@`⊂_)AJ0(*j0()↓J⊂_@j_↓↓	p_αi`_αA	P_β@i@_∧i0_∧A ⊂%a08%AP("Q∧↓8
πcx↓⊗ %@↓V%@↓⊗%8↓U`%8↓∪@8↓↓4Xβ↓ 0 ↓R` ⊂↓↓  (α∩@0λ↓A  0↓R@ ⊂↓A  0↓R@ ⊂↓A00↓S @ ↓↓`$h↓A  8↓∪ 0(↓↓@4`α↓00↓∪0(↓↓@4`α↓ (↓S 0 ↓↓4hα@ 0⊂α∪AU∧T`%⊂↓T@%⊂↓∀@%λ↓T $("λ"a@πC`0⊂ε@i@_ε@i@⊂π↓	0_π@i0⊂λi _β@@p_%@p_β@I ⊂β@`p⊂%@p_β@I ⊂β@``_%@`_βi ⊂β``_%`08↓↓	0@B	08↓AI@(αAλT ⊃βb⊂xπAA∧p¬S!D`↓A`4`↓∪ ⊂↓S↓∀`∧Ra∀X↓∩@$P↓α@$P↓A`DXε∪↓$pβ⊃(B_	EC↓@¬A
@0)@` _)`@⊂)@P⊂)@P_)@P_)@P_)`@_&`@_↓@i0(α↓i _@`@0%@ _β↓I ⊂↓`p(%@⊂ βiP_β@iP_β@iP_βi@ βi@_β@I@_βI@_α@i@ ↓@iP@'AλT ∩π$xπ@c$`
RcDPβD@$P↓@!_↓∩@ λ↓D`$h↓α@ @↓∪  H↓B$h↓α  @↓S  @↓B$h↓↓`P0↓S  0β↓ 4h↓↓@⊂↓`Th∧@a∀h∧↓ tpαBD("	!q_
Ca (↓ip_αI`_α@iP_βiP_βi@_β@i@_β@i@_β@i@_βi0_β@i0_β@I0 α@i0 αi ⊂Ai ⊂↓↓) ⊂%I _%β	0`&αhT ∪βB⊃_πA`dx∧S @(↓∪4X↓∩`$P↓∩@$P↓∩@4Pα∩`d`βS@uβ∀`5 ↓∀`$xαS`D("	c↓Xβ`@⊂∧AIP_βB)@_βBi0_βA @ %@@p ∧I _βa ⊂%@p⊂¬@I ⊂βa0⊂%@`⊂¬@i ⊂α@a0⊂%`@⊂¬↓	0_↓@A⊂ &↓``0&D)`p(α)p_'@ip_'↓	`_'i`_"Qλ↓⊂
Fβ8βT↓$x↓A Dp↓A`4pα↓@Dpα↓`4x↓α5H↓V 5λα@`4x∧@ 4hα↓t`↓BT`↓α TX↓B@DP↓B`4P↓B`4P↓B`4P↓B@4P↓B DP↓BDP↓A`DX↓AT`¬∪ t("_↓qλε↓ _)A* ⊂↓J⊂⊂↓@J_↓@J⊂αIp_↓@ip⊂αI`_↓@i`_↓@I`_↓iP_↓iP_↓IP_@iP0&↓I@(&↓	@_%A	 (%@⊂⊂∧IP_α↓)`P'AHT =BA@xπ@`D`β∩`0λ↓R@0⊂↓R@ ⊂α∩@ ⊂↓S@4hα∪ 4h↓S@⊂↓∪0_↓∪0⊂↓S0λ↓Sdhα⊃(G`π∧"`x∧↓
8'A _'`@_'@P_'@@ *j@_*j0 )@j0_)@j  )j _)j⊂ %@@@_%↓  %↓⊂ %α	0("Q∂Q(EAp(↓∪ @(β∪0(∧S (α↓4X↓↓@8↓R` _αα4P↓`0P↓R@ _↓α`4P↓@0X↓R@`⊂↓↓`4Xα@@0↓R`@⊂α↓@$`↓@@00↓R`Pλ↓A 4X↓ 0λ∧∩` ⊂↓@ dX↓`$X↓`$X↓`$X↓`$X↓@$XαS4("∨B⊃@βε!`⊂,K_%∧)!λ+@jp⊂"Q∂pp↓αp βS↓$X↓A@4P↓α@$P↓α@$("α⊃_πC`P8&Bi@_β@i0_∧@i0⊂¬@I _¬@i _¬@i _¬@i _¬@i _¬@i _¬@i0⊂¬@I0_∧@i@_β@iPX'AhT _Cα⊂xπA@$P∧∩A∧pα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∩ADPε⊃(C⊂πDApx↓B	0`%↓ @(%↓ ` %↓ ` %@`p *↓*@ )↓
⊂ ↓J_αI` αiP`%C) p%βHT →D"10πA th¬S00α∩`P0α∩`P0α∩`P0α∪08α∃ E(α∀`TxβS`u(↓U@58↓R`0Hα∩@P@α∩@P@α∩@P@α∩`0@α∩`@0α∪!4xβQ(C λDb`xεJP_*↓
0()↓J 0(Aj_A	p_↓↓	`_↓A	P_α↓	@_αA	0_β↓	 _βA	!λ%∧*@ *↓
@ *↓
@ (BJ⊂P"QεPx	¬Ap⊂ε∪↓D`¬S↓∀`↓∪$`↓∪$`↓ T`¬∪@_α∪0(α∪ 8↓U E(α∩` @α∩@@8α∩@@8α∩@0@↓R` 8α∩`0(α∪↓$pβ⊃(C0λDba0βAIpH'↓P⊂&@`` &`p &A⊂⊂%@i0_%`P %`0@%` ⊂α@i _@!_%`⊂λ∧i  ¬i  ¬i  ¬i0_¬i0_¬i@_∧i@_∧iP_βi`P(↓HT ≠D"A8λ $Xλ∩b∧XπRAtP↓B $P↓α 4P↓α5 ↓∀`5⊂↓T@5λ↓T 5α∀Dxα∪`DpαS@TpαS@TpαS`4("∞↓q⊂¬@P0&BI0_β↓	0λ¬i ⊂¬@I ⊂¬@I _∧@i (β@I00↓A	@X&B	PH&αi0 ↓AI  β↓) _∧@i _∧@i _∧@i _∧@i  ∧i0(α↓	@X'↓hT ≤D"10πA dp∧S@ α∩`0@↓R`0H↓∩@0P↓R@0P↓R@0X↓∩@0X↓R@0X↓R@0X↓R`0Hα∩`0@αS@ ↓@ 4h∧`4xα@`58↓U`4`↓α4Xα↓@4Xα↓ 4`¬∪@d("
∧20ββ@`⊂'@ip⊂'i@ %λi"_"Q¬∩_∪↓A⊂⊃RD4`α∪@4x↓∪`5↓⊃(BP⊃I@`p
@LP_3L`_3A	"_%λhT ∃Hd`0∧@∧4P⊃Y`F0↓Y@&(↓Y $("`H∧D 0_%A)0_%i ⊂%I _%@i0(&@hT ⊗AA⊂Hλ@4PαS4h↓S@$p↓∪ 4`↓R@TP↓Q(BpλDb1⊂I  %↓I ⊂A	 ⊂↓A	 ⊂α↓) ⊂β↓	 ⊂∧↓	 ⊂∧A) ⊂¬A	 ⊂¬A	 ⊂∧A) ⊂∧↓	 ⊂β↓	 ⊂α↓) ⊂↓A	 ⊂A	 0%↓	 ⊂"Q¬qλ	Db x↓∃`E(β∃@λ↓∀@@_↓∀P ↓∪`@0↓∪ @@↓∩`PH↓∩@@X↓∩@@X↓∩`PH↓∪ @@↓∪`@0↓∀P ↓∀@@_↓∃@λ↓∃ e8α⊗ $("∞@PHα↓⊂_%↓) (%↓)0_"Qπ0(∧B`@λ↓R@TPαR@TXα∪ $h↓∪4`↓∩`4P↓R@$("∂β↓`Eα`⊂/↓@(-↓+(+↓*@()↓*('↓)@(%↓)  %A)P('A*⊂()A*P(+A+⊂(-A+P(/@hT ≡Cb∩_
β %8↓∃@50↓∃ 5(↓∃ % ↓U% ↓∀`5_↓∀@5⊂↓∀@%λ↓T %λ↓∀5↓∪`4x↓∪`$p↓S@$h↓S $h↓∪4`↓∪$X↓R`$P↓R@$P↓⊃(Cpπαq I  %A)P('A*⊂()A*P(+A+⊂(-A+P(/↓@(-↓+(+↓*@()↓*('↓)@(%↓) _"Qπq⊂
βb@↓∀@%⊂↓∀@%⊂↓∩@ 0↓↓@$Pβ@ ⊂β∩b∧hε∀eβ∪a∧pα@Dp↓A4h↓A@4h↓α$("⊗a0p
ε@⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%α) P%↓ (%@`_%@`_%@`_%@P %@P_%@@ %@@_%@0_%@ _%@⊂_%↓)  %HT .αaax$P↓∩@$P↓∩@$P↓∩@ 8↓∩@  αR@ λ∧∩A4Pβ@@$Pα↓ $P↓↓`$P↓↓`$P↓↓`$P↓↓`$P↓↓`$P↓↓`$P↓↓`$P↓↓`$P↓↓`$P↓↓`$P↓↓TP↓!∧P¬R@p⊂↓∩@@(↓∀`%_↓∀`%_↓∀`$("↔!0p∂F↓⊂)I0⊂α@I0⊂α@I0⊂α@I0⊂α@I0⊂α@i0⊂↓A)0P%αI 8@I  αI0⊂α@I0⊂α@I0⊂α@I0⊂α@I0⊂α@I0⊂α@I0⊂α@I0⊂α@I0⊂α@I0⊂α@i0⊂↓A)0P%αI 8@I  αI0⊂α@I0⊂α@I0⊂α@I0⊂%@HT /λd`Hε@!x↓∩@1h↓R`!h↓∩`AHα∪A8α∪ aλβ∪AX∧∀αu⊂	UA4("↔d20∧C!@X)∧j↓8'α↓0@&AB⊂0&↓αp %Aβ⊂ %@CP⊂%cP_%Cp⊂"}∪O ππkhJs@ ⎇N ⎇N
?␈x␈⎇`ε↑dλ∂@↓apq⊃⎇H!xβE↑Xλ@{⊂cPε←s≤?0"λ x)¬ P≡d(∂↓\⊂≡λO⎇HaHαr↔H 0{⊃dπ'↓ K←0$λ x)S ↓/≡dH	↓βx2_∂⎇I!8αQPλ50{∩d πlY0r␈0&π`s3@↓␈↑dh∪@α≥h; "⎇IbβZ∀(N0{∪cpπ∪P↓,←0(ε@Xs3@αq≡eλ⊂↓lp6@0ε⎇J!pβ=-xhp{∀c⊂¬Q"@↓↑∨0*εX_@βR≡e(∞↓L8B8M⎇Ja8αS&P␈p{∃d@λ↔H`α
␈0,λ x⊂T@∧;↑eH↓1⊂X@H%⎇K!Xβ	∩(↓→P{_"`¬d0α=␈01∧@@~h`¬∂≡f_	↓ε_{PG⎇LA(α6∩X↓, {→" ∧_}`αd?03¬H_@¬V≡f8	@↓
⊂EXU⎇M↓@α`↓@⊂{~!pβ+W0β∨05β`0wo`ε(↑fX↓∨Xx`w⎇M@h↓=:x↓Tp{≠$@λ.]@β1␈07ε XS&@πα↑fx
↓∪HZp0⎇N↓(α5QX↓j{≤"0∧$∃⊂β←←09∧@@~4`πT≡g_	@↓
_&@xC⎇NA↓dI⊂↓|{≥#¬I∩ β␈←0;¬ H4i`λ∀↑g8∞@↓WHt↓N⎇O↓8αK⊗0α⊂@{≡"P∧aC∧)←0=¬@{w`λl≡`↓0x8@↓λt⎇@∩⊂βwo`α"p{C`εrKP∧P←0↓F@`0 	=↑` ∞↓LX⊗@↓_%⎇@R⊂βq⎇Hα9{↓Dπ$I⊂∧}?0βFX⊗,`
⊃↑`@∞↓K⊂e@↓ K⎇A⊃Xβd0αOp{αCPεU∃¬,␈0¬F``≠P`
u↑``@↓) \@↓0∪⎇AQ8αJU(αip{βB⊂∧~¬]?0πD 8b←P≡aπ@lhN@↓84⎇B⊃8αO≡@αz0{∧B0∧(Q ε?0	C`0wo`_↑a ↓0↓@H⎇BQ@αeK_β
`{¬C⊂¬X0`ε$␈0E@Hqc@a↑a@
@↓~0M↓Hc⎇C⊃@α\\Pβ!0{εB@∧ZpεK←0
E`P>⊗
+≡a`λ@{ 5@↓Pt⎇CQ8αM[8β10{πC⊂¬P:@εl∨0∂F XU*`
v≡b
@↓G(k@↓`~⎇D⊃Pα{6pβK`{λB@∧APπ"?0⊃F X3g@∞P↑b ⊂↓mn@↓hW⎇DQ α-8β` {	B@∧APπJ?0∪G h1∃@∂!≡d↓/`,↓pr⎇L↓λ↓yshβt {≡a`β$I⊂πs?0>∧ 8ys`∂t↑gh
@↓I \@α
⎇Oa(α4iP∧λ`{∨a@αeK⊂λ∀∨0_¬ HS&@⊂.≡cλ
@↓~0Mα{⎇F!(α4iP∧⊃p{bP∧iS λ*?0~¬ HS&@⊂g↑c(
@↓~0Mαλp⎇Fa(α4iP∧"P{
bP∧iS λP␈0≤¬ HS&@⊃1≡cH
@↓~0Mα_⎇EαH∧Y2h∧7{
%⊂	2ePλp←0∃
 ↓⊂eK ⊃f↑bX∀@α,X⊗@α_W⎇E@`↓2eH∧< {!@αeK⊂λ{␈0↔¬ HS&@⊃}↑bx
@↓~0Mα "⎇G `↓2eH∧I{∞a@αeK⊂	∀∨0≡λp];∩0≡ch
↓∩ Iα {⎇GbβW.`∧T0{∂bP∧iS 	/←0-D 8O≡@∩m≡e`λ@yp=α0β⎇KQλ↓sgP∧g {↔E⊂	2eP	]?0/J ↓⊂eK ∪E∨⊂	gX_ow{⎇x